what is the cumulative exponential distribution